$\forall$$M$:MsgA, $k$:Knd. $\neg$$k$ declared in $M$ $\Rightarrow$ $M$.da($k$) $=$ Top $\in$ Type